Web Service Composition Automation based on Timed Automata

机译：基于定时自动机的Web服务组合自动化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hu Jingjing; Zhu Wei; Zhao Xing; Zhu Dongfeng;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. RDTA: Recursive and Dynamic Timed Automata for Web Services Composition Analysis [J] . Fateh Latreche, Faiza Belala International journal of embedded and real-time communication systems . 2014,第3期

机译：RDTA：Web服务组成分析的递归和动态定时自动机
2. Towards Automation Design Time Testing of Web Service Compositions [J] . Ilieva Sylvia, Manova Denitsa, Manova Ilina, e-Informatica: software engineering journal . 2012,第2012期

机译：迈向Web服务组合的自动化设计时测试
3. Semantics-Based Composition of Factory Automation Processes Encapsulated by Web Services [J] . Puttonen J., Lobov A., Martinez Lastra J.L. IEEE transactions on industrial informatics . 2013,第4期

机译：Web服务封装的基于语义的工厂自动化过程的组合
4. Towards an Automata-Based Semantic Web Services Composition Method in Context-Aware Environment [C] . Zhang Zhichao, Li Weiping, Wu Zhonghai, 2012 IEEE 9th International Conference on Services Computing . 2012

机译：上下文感知环境中基于自动机的语义Web服务组合方法
5. I/O-automata based formal approach to Web services choreography. [D] . Mitra, Saayan. 2009

机译：基于I / O自动机的Web服务编排的正式方法。
6. A verification strategy for web services composition using enhanced stacked automata model [O] . Danapaquiame Nagamouttou, Ilavarasan Egambaram, Muthumanickam Krishnan, -1

机译：使用增强的堆栈自动机模型的Web服务组合的验证策略
7. Towards Automation Design Time Testing of Web Service Compositions [O] . Dessislava Petrova-Antonova, Sylvia Ilieva, Ilina Manova, 2012

机译：走向自动化设计Web服务组合的时间测试

Web Service Composition Automation based on Timed Automata

著录项

引文网络

相似文献

相关主题

期刊订阅